int strlen_tests();
